Classical logic - PDFSEARCH.IO - Document Search Engine

Classical logic
Results: 885

#	Item
411	Suszko and the non-Fregean-Logics Add to Reading List Source URL: www.ontologymirror.com Language: English - Date: 2013-12-29 03:31:18 Philosophy of language Classical logic Mathematical logic Jerzy Perzanowski Gottlob Frege Interpretation Algebraic logic Formal semantics Modal logic Logic Propositional calculus Philosophical logic
412	Microsoft Word - Gironde.doc Add to Reading List Source URL: www.metaphysica.de Language: English - Date: 2006-02-07 06:53:17 Non-classical logic Philosophical logic Philosophy Modal logic Abstract object Object Ontology Logic Metaphysics
413	Stoic Logic: The Dialectic from Zeno to Chrysippus Add to Reading List Source URL: www.ontologymirror.com Language: English - Date: 2013-12-29 03:28:57 Mathematical logic Hellenistic philosophy Classical logic Philosophical logic Pantheism Stoicism Chrysippus Stoic Categories Diodorus Cronus Ancient Greek philosophers Logic Philosophy
414	A PROOF OF COMPLETENESS FOR CONTINUOUS FIRST-ORDER LOGIC ITA¨I BEN YAACOV AND ARTHUR PAUL PEDERSEN A BSTRACT. Continuous first-order logic has found interest among model theorists who wish to extend the classical analys Add to Reading List Source URL: centria.di.fct.unl.pt Language: English - Date: 2009-09-10 18:19:28 Metalogic Interpretation Łukasiewicz logic First-order logic Structure Elementary class Ultraproduct Many-valued logic Compactness theorem Model theory Logic Mathematical logic
415	Trace-Based Network Proof Systems: Expressiveness and Completeness JENNIFER WIDOM Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-09-09 22:08:39 Model theory Non-classical logic Abstraction Axiology First-order logic Parallel computing Modal logic Trace Temporal logic Logic Mathematics Mathematical logic
416	Fred Sommers on the Logic of Natural Language Add to Reading List Source URL: www.ontologymirror.com Language: English - Date: 2014-10-04 10:24:16 Traditional logic Classical logic Term logic First-order logic Gottlob Frege Syllogism Mathematical logic Function Square of opposition Logic Philosophical logic Predicate logic
417	Completeness and Incompleteness of Trace-Based Network Proof Systems? Jennifer Widom, David Gries, and Fred B. Schneider Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-09-09 22:10:37 Philosophical logic Model theory Proof theory Non-classical logic Axiom Formal methods Theorem Modal logic Trace Logic Mathematics Formal sciences
418	LOGIC AND TERROR 1 A.R.D.Mathias Add to Reading List Source URL: www.dpmms.cam.ac.uk Language: English - Date: 2005-02-10 09:24:21 Non-classical logic Mathematical logic Marxist theory Dialectic Term logic Law of excluded middle Intuitionistic logic Georg Wilhelm Friedrich Hegel Classical logic Logic Philosophy Philosophical logic
419	From: AAAI Technical Report FS[removed]Compilation copyright © 1993, AAAI (www.aaai.org). All rights reserved. VACUUM-LOGIC Jennifer J. Elgot-Drapkin* Department of Computer Science and Engineering Box[removed] Add to Reading List Source URL: www.aaai.org Language: English - Date: 2006-01-11 02:42:00 Science Non-monotonic logic Modal logic Temporal logic Argument Default logic Formal verification Logic Non-classical logic Mathematical logic
420	What room for viewpoints? Jacques Jayez ENS-LSH & UMR[removed]removed] and Add to Reading List Source URL: www.cssp.cnrs.fr Language: English - Date: 2010-11-22 10:35:29 Propositional calculus Non-classical logic Mathematical logic Semantics Philosophy of language Modal logic Proposition Function Linguistic modality Logic Mathematics Science

UPDATE